Pseudo-Boolean Optimization: Theory and Applications in Vision

نویسندگان

  • Petter Strandmark
  • Fredrik Kahl
چکیده

Many problems in computer vision, such as stereo, segmentation and denoising can be formulated as pseudo-boolean optimization problems. Over the last decade, graphs cuts have become a standard tool for solving such problems. The last couple of years have seen a great advancement in the methods used to minimize pseudoboolean functions of higher order than quadratic. In this paper, we give an overview of how one can optimize higherorder functions via generalized roof duality and how it can be applied to problems in image analysis and vision. I. PSEUDO-BOOLEAN OPTIMIZATION A pseudo-boolean function is a function from the set of boolean vectors of dimension n, denoted B = {0, 1}, to the reals. Any pseudo-boolean f can be uniquely represented by a multilinear polynomial of the form

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Weighted stability number of graphs and weighted satisfiability: The two facets of pseudo-Boolean optimization

We exhibit links between pseudo-Boolean optimization, graph theory and logic. We show the equivalence of maximizing a pseudo-Boolean function and finding a maximum weight stable set; symmetrically minimizing a pseudo-Boolean function is shown to be equivalent to solving a weighted satisfiability problem.

متن کامل

Classes of Submodular Constraints Expressible by Graph Cuts ∗ Stanislav

Submodular constraints play an important role both in theory and practice of valued constraint satisfaction problems (VCSPs). It has previously been shown, using results from the theory of combinatorial optimisation, that instances of VCSPs with submodular constraints can be minimised in polynomial time. However, the general algorithm is of order O(n) and hence rather impractical. In this paper...

متن کامل

ON THE FUZZY SET THEORY AND AGGREGATION FUNCTIONS: HISTORY AND SOME RECENT ADVANCES

Several fuzzy connectives, including those proposed by Lotfi Zadeh, can be seen as linear extensions of the Boolean connectives from the scale ${0,1}$ into the scale $[0,1]$. We discuss these extensions, in particular, we focus on the dualities arising from the Boolean dualities. These dualities allow to transfer the results from some particular class of extended Boolean functions, e.g., from c...

متن کامل

Facility Location: Discrete Models and Local Search Methods

Discrete location theory is one of the most dynamic areas of operations research. We present the basic mathematical models used in this field, as well as their properties and relationship with pseudo-Boolean functions. We also investigate the theory of PLS-complete problems, average and worst case computational complexity of the local search algorithms, and approximate local search. Finally, we...

متن کامل

Fuzzy Measures and Integrals: Recent Developments

This paper gives a survey of the research done on fuzzy measures and integrals since Sugeno proposed in 1974 the concept of fuzzy measure, with an emphasis on recent results. This field of research lies at the intersection of several independent domains, which makes it very active and attractive, namely, measure theory, theory of aggregation functions, cooperative game theory, combinatorial opt...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012